More from this Author

Handbook of Theoretical Computer Science

by Jan Van Leeuwen (Editor), Albert R. Meyer (Editor), M. Nivat (Editor), Matthew C. Paterson (Editor), D. Perrin (Editor)

Handbook of Theoretical Computer Science

by Jan Van Leeuwen (Editor)

Handbook of Theoretical Computer Science

by Jan Van Leeuwen (Editor)

Drawing Graphs

by Michael Kaufmann (Editor), Dorothea Wagner (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Theoretical Computer Science

by Jan Van Leeuwen (Editor), Albert R. Meyer (Editor), M. Nivat (Editor), Matthew Paterson (Editor), D. Perrin (Editor)

Modular Programming Languages

by Jürg Gutknecht (Editor), Wolfgang Weck (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Handbook of Theoretical Computer Science

by Jan Van Leeuwen (Editor)

Implementation of Functional Languages

by Markus Mohnen (Editor), Pieter Koopman (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Conceptual Modeling

by Peter P. Chen (Editor), Jacky Akoka (Editor), Hannu Kangassalu (Editor), Bernhard Thalheim (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Information Hiding

by David Aucsmith (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Typed Lambda Calculi and Applications

by G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor), Jean-Yves Girard (Editor)

Abstract State Machines

by Yuri Gurevich (Editor), Philipp W. Kutter (Editor), Martin Odersky (Editor), Lothar Thiele (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Category Theory and Computer Science

by Eugenio Moggi (Editor), G. Rosolini (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Artificial Neural Networks

by G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor), P. J. Braspenning (Editor), F. Thuijsman (Editor), A. J. Weijters (Editor)

Articulated Motion and Deformable Objects

by Hans-Hellmut Nagel (Editor), Francisco J. Perales Lopez (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Genetic Programming

by Riccardo Poli (Editor), Peter Nordin (Editor), William B. Langdon (Editor), Terence C. Fogarty (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Programming Languages and Systems

by Chris Hankin (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Information Security

by George Davida (Editor), Masahiro Mambo (Editor), Eiji Okamoto (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Rewriting Techniques and Applications

by Jieh Hsiang (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Distributed Computing

by Shay Kutten, G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Theory and Practice of Parallel Programming

by Takatoshi Ito (Editor), Akinori Yonezawa (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Security Protocols

by Bruce Christianson (Editor), B. Crispo (Editor), Mark Lomas (Editor), M. Roe (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Algebraic Methodology and Software Technology

by G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor), Algebraic Methodology and Software Technology Staff, Armando M. Haeberer (Editor), N. Martin

Foundations of Software Technology and Theoretical Computer Science

by V. Arvind (Editor), R. Ramanujam (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Advanced Information Systems Engineering

by J. Iivari (Editor), K. Lyytinen (Editor), M. Rossi (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Distributed Algorithms

by G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor), J. M. Helary (Editor), Michel Raynal (Editor)

Practical Aspects of Declarative Languages

by G. Gupta (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Cooperative Information Agents II

by Matthias Klusch (Editor), Gerhard Weiß (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Distributed Algorithms

by Jan Van Leeuwen (Editor), N. Santoro (Editor)

Natural Language Processing and Information Systems

by Mokrane Bouzeghoub (Editor), Zoubida Kedad (Editor), Elisabeth Métais (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Constraints in Computational Logics

by Hubert Comon (Editor), Claude Marché (Editor), Ralf Treinen (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Intelligence in Services and Networks - Technology for Cooperative Competition

by Al Mullery (Editor), Michel Besson (Editor), Mario Campolargo (Editor), Roberta Gobbi (Editor), Rick Reed (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Network-Based Parallel Computing Communication, Architecture and Applications

by Anand Sivasubramaniam (Editor), Mario Lauria (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Secure Internet Programming

by Jan Vitek, J. Damsgaard, G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Advances in Intelligent Data Analysis

by David J. Hand (Editor), Joost N. Kok (Editor), Michael R. Berthold (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Applied Formal Methods - FM-Trends 98

by Dieter Hutter (Editor), W. Stephan (Editor), P. Traverso (Editor), Markus Ullmann (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Telecommunications and IT Convergence - Towards Service E-Volution

by Jaime Delgado (Editor), George D. Stamoulis (Editor), Al Mullery (Editor), Didoe Prevedourou (Editor), Keith Start (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Applications of Evolutionary Computing

by Egbert J. W. Boers (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor), Jens Gottlieb (Editor), Pier L. Lanzi (Editor), Robert E. Smith (Editor), Stefano Cagnoni (Editor), Emma Hart (Editor), Günther R. Raidl (Editor), Harald Tijink (Editor), G. Goos (Editor)

Distributed Algorithms

by Özalp Babaoglu (Editor), Keith Marzullo (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Algorithmic Learning Theory

by Michael M. Richter, C. H. Smith (Editor), R. Wiehagen (Editor), Thomas Zeugmann (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Advances in Database

by Suzanne M. Embury (Editor), N. J. Fiddian (Editor), W. A. Gray (Editor), A. C. Jones (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Software Process Technology

by Wilhelm Schafer (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Image Analysis and Processing

by Alberto Del Bimbo (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Cryptography and Coding

by M. Darnell (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Distributed Computing

by Prasad Jayanti (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Energy Minimization Methods in Computer Vision and Pattern Recognition

by Marcello Pelillo (Editor), Edwin R. Hancock (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Financial Cryptography

by Rafael Hirschfeld (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Mathematics of Program Construction

by Johan Jeuring (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Research and Advanced Technology for Digital Libraries

by C. Peters (Editor), C. Thanos (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Computer Aided Verification

by Pierre Wolper (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

High-Performance Computing and Networking

by Bob Hertzberger (Editor), Peter Sloot (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Information Processing in Medical Imaging

by James S. Duncan (Editor), Gene Gindi (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Integer Programming and Combinatorial Optimization

by E. Balas (Editor), J. Clausen (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Tools and Algorithms for the Construction of Analysis of Systems

by G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor), W. Rance Cleaveland (Editor)

Artificial Intelligence

by Fausto Giunchiglia, G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Programming Languages and Systems

by S. Doaitse Swierstra (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Advanced Information Systems Engineering

by Barbara Pernici (Editor), C. Thanos (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Algebraic and Logic Programming

by M. Hanus (Editor), J. Heering (Editor), K. Meinke (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Public Key Cryptography

by Hideki Imai (Editor), Yuliang Zheng (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Computational Intelligence Theory and Applications

by B. Reusch (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Principles of Data Mining and Knowledge Discovery

by G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor), Mohamed Quafafou (Editor), Jan M. Zytkow (Editor)

Integer Programming and Combinatorial Optimization

by Robert E. Bixby (Editor), Andrew E. Boyd (Editor), Robert Z. Rios-Mercado (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Interactive Distributed Multimedia Systems and Telecommunication Services

by Ralf Steinmetz (Editor), Lars C. Wolff, G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor), International Workshop IDMS and Telecommunication Se

Mathematics of Program Construction

by Bernhard Moller (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Typed Lambda Calculi and Applications

by Samson Abramsky (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Advances in Artificial Intelligence

by R. Mercer (Editor), E. Neufeld (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Programming Languages: Implementations, Logics and Programs

by M. Hermenegildo (Editor), S. D. Swierstra (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Job Scheduling Strategies for Parallel Processing

by Dror G. Feitelson (Editor), Larry Rudolph (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Parallel Computing Technologies

by Victor E. Malyshkin (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Evolutionary Computing

by David Corne (Editor), Jonathan L. Shapiro (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor), Society for the Study of Artificial Intelligence Staff

Languages and Compilers for Parallel Computing

by David Sehr (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor), Alex Nicolau (Editor), David Padua (Editor)

Computing and Combinatorics

by Ding-Zhu Du (Editor), Ming Li (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Foundations of System Specification and Computation Structures

by Maurice Nivat (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Recent Trends in Algebraic Development Techniques

by Didier Bert (Editor), Christine Choppy (Editor), Peter Mosses (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Software Configuration Management

by Reidar O. Conradi (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Tools and Algorithms for the Construction and Analysis of Systems

by Bernhard Steffen (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Languages and Compilers for Parallel Computing

by Larry E. Carter (Editor), Jeanne Ferrante (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Spatial Information Theory

by Stephen C. Hirtle (Editor), Andrew U. Frank (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Languages and Compilers for Parallel Computing

by Z. Li (Editor), P. -C. Yew (Editor), S. Chatterjee (Editor), C. -H. Huang (Editor), P. Sadayappan (Editor), D. Sehr (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Advances in Spatial Databases

by Max J. Egenhofer (Editor), John R. Herring (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Parallel Computing Technologies

by Victor E. Malyshkin (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Computer Science Logic

by Workshop on Computer Science Logic Staff, Peter G. Clote (Editor), Helmut Schwichtenberg (Editor), European Association for Computer Science Logic Staff, G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Computer Performance Evaluation Modelling Techniques and Tools

by Raymond Marie (Editor), Gerardo Rubino (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Algorithm Engineering

by Jeffrey Scott Vitter (Editor), Christos D. Zaroliagis (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Hybrid Systems

by T. A. Henzinger (Editor), Shankar Sastry (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Enhanced Global Strategy for Further Reducing the Disease Burden Due to Leprosy

by Horst Reichel (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Theoretical Computer Science - Exploring New Frontiers of Theoretical Informatiics

by Jan Van Leeuwen (Editor), Takayasu Ito (Editor), Masami Hagiya (Editor), P. D. Mosses (Editor), Osamu Watanabe (Editor)

Parallel Computation

by Peter Zinterhof (Editor), Marian Vajtersic (Editor), Andreas Uhl (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Logic Program Synthesis and Transformation

by J. Gallagher (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Computer Analysis of Images and Patterns

by Gerald Sommer (Editor), Kostas Daniilidis (Editor), Josep Pauli (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Fundamentals of Computation Theory

by Gabriel Ciobanu (Editor), Gheorghe Páun (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Programming Languages and Systems

by David Sands (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Distributed Algorithms

by Jan Van Leeuwen (Editor), N. Santoro (Editor)

Theoretical Computer Science

by Jan Van Leeuwen (Editor), Albert R. Meyer (Editor), M. Nivat (Editor), Warwick (Editor), Matthew R. Paterson (Editor), D. Perrin (Editor)

Database and Expert Systems Applications

by A. Hameurlain (Editor), A. Min Tjoa (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Graph Drawing

by Sue H. Whitesides (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Interactive Distributed Multimedia Systems and Telecommunication Applications

by G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor), Thomas Plagemann, Vera Goebel

Algorithms and Complexity

by Giancarlo Bongiovanni (Editor), Giorgio Gambosi (Editor), Rosella Petreschi (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Foundations of Information and Knowledge Systems

by Klaus-Dieter Schewe (Editor), Bernhard Thalheim (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Image Analysis and Processing

by Cario Braccini (Editor), Leila DeFloriani (Editor), Gianni Vernazza (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Automated Reasoning with Analytic Tableaux and Related Methods

by H. De Swart (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Parallel and Distributed Processing

by Jose Rolim (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Genetic Programming

by Julian F. Miller (Editor), Marco Tomassini (Editor), Pier Luca Lanzi (Editor), Conor Ryan (Editor), Andrea G. B. Tettamanzi (Editor), William B. Langdon (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Formal Techniques in Real-Time and Fault-Tolerant Systems

by Anders P. Ravn (Editor), Hans Rischel (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Parallel and Distributed Processing

by Jose Rolim (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Computer Science Logic

by M. Nielsen (Editor), Wolfgang Thomas (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor), European Association for Computer Science Logic Staff

Selected Areas in Cryptography

by Stafford Tavares (Editor), Henk Meijer (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Object-Oriented Technology

by Jan Bosch (Editor), Stuart Mitchell (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Static Analysis

by G. Ional Levi, G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Image Analysis and Processing

by Alberto Del Bimbo (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Implementation of Functional Languages

by Kevin Hammond (Editor), Grahame Davies (Editor), Chris Clack (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor), G. Goos (Editor), Tony Davie (Editor)

Adaptive Hypermedia and Adaptive Web-Based Systems

by Peter Brusilovsky (Editor), Oliviero Stock (Editor), Carlo Strapparava (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Job Scheduling Strategies for Parallel Processing

by Dror G. Feitelson (Editor), Larry Rudolph (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Advances in Cryptology - EUROCRYPT'99

by Jacques Stern (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Graph-Theoretic Concepts in Computer Science

by Jan Van Leeuwen (Editor)

Advanced Information Systems Engineering

by M. Jarke (Editor), A. Oberweis (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Spatial Cognition

by C. Freksa (Editor), Christopher Habel (Editor), Karl F. Wender (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Automata, Languages and Programming

by F. Orejas (Editor), P. G. Spirakis (Editor), Jan Van Leeuwen (Editor)

Fast Software Encryption

by Serge Vaudenay (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Database and Expert Systems Applications

by Norman Revell (Editor), A. Min Tjoa (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Computer Analysis of Images and Patterns

by Franc Solina (Editor), Ales Leonardis (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Computer Analysis of Images and Patterns

by Vaclav Hlavac (Editor), Radim Sara (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Graph-Theoretic Concepts in Computer Science

by Jan Van Leeuwen (Editor)

Automata, Languages and Programming

by J. W. Bakker (Editor), Jan Van Leeuwen (Editor)

Recent Trends in Data Type Specification

by E. Astesiano (Editor), Andrzej Tarlecki (Editor), Gianna Reggio (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Advances in Case-Based Reasoning

by Barry Smyth, P. Adradg Cunningham, G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Advanced Information Systems Engineering

by A. Olive (Editor), Joan A. Pastor (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Theorem Proving in Higher Order Logics

by J. Grundy (Editor), Malcolm C. Newey (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Typed Lambda Calculi and Applications

by P. De Groote (Editor), J. R. Hindley (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Computer Vision Systems

by Henrik I. Christensen (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Computational Intelligence - Theory and Applications

by Bernd Reusch (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)